18th Asian Logic Conference